-
1 правило вывода
-
2 правило вывода
правило вывода
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > правило вывода
-
3 правило вывода
1. rule of inference2. production rule -
4 правило вывода
-
5 правило вывода
Русско-английский словарь по информационным технологиям > правило вывода
-
6 правило вывода
Большой англо-русский и русско-английский словарь > правило вывода
-
7 правило вывода
-
8 правило вывода
1) Computers: inference rule2) Engineering: derivation rule, rule of inference (логического)3) Mathematics: deduction rule, rule of derivation, rules of inference, rewrite rule4) Information technology: production5) Oil: production rule6) Robots: (логического) inference rule -
9 правило вывода
n1) comput. Inferenzregel2) electr. (логического) Ableitungsregel, (логического) Schlussregel4) microel. (логического) Inferenzregel -
10 правило вывода
лог. rule of inference -
11 правило вывода
mathrègle d’inférence -
12 правило вывода
пра́вило ви́сновку, пра́вило ви́ведення -
13 правило вывода
пра́вило ви́сновку, пра́вило ви́ведення -
14 правило вывода
матем. regola di inferenza -
15 правило вывода
neng. règle d'inférence, règle de déduction -
16 правило вывода
Ableitungsregel, Inferenzregel, Schlußregel -
17 правило вывода
Русско-английский словарь по вычислительной технике и программированию > правило вывода
-
18 правило вывода
-
19 правило вывода
-
20 правило вывода
deduction rule мат., derivation rule, rule of derivation, rule of inferenceРусско-английский научно-технический словарь Масловского > правило вывода
См. также в других словарях:
ПРАВИЛО ВЫВОДА — определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… … Философская энциклопедия
ПРАВИЛО ВЫВОДА — правило, определяющее переход от посылок к следствиям; более точно правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний (формул), называемым посылками, и одним определенным высказыванием (формулой),… … Большой Энциклопедический словарь
правило вывода — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN rule of inference … Справочник технического переводчика
правило вывода — правило, определяющее переход от посылок к следствиям; более точно правило, устанавливающее определенное соответствие между некоторой совокупностью высказываний (формул), называемых посылками, и одним определенным высказыванием (формулой),… … Энциклопедический словарь
Правило вывода — правило преобразования некоторой формальной системы, дедуктивное правило, правило разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание)… … Большая советская энциклопедия
правило вывода — правило, определяющее переход от посылок к следствиям. П. в. указывает, каким образом высказывания, истинность которых известна, могут быть видоизменены, чтобы получить новые истинные высказывания. Напр., правило отделения устанавливает, что если … Словарь терминов логики
ПРАВИЛО ВЫВОДА — правило, определяющее переход от посылок к следствиям; более точно правило, устанавливающее определ. соответствие между нек рой совокупностью высказываний (формул), называемых посылками, и одним определ. высказыванием (формулой), называемым логич … Естествознание. Энциклопедический словарь
ПРАВИЛО ВЫВОДА — См. трансформация (3) … Толковый словарь по психологии
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
ПРОИЗВОДНОЕ ПРАВИЛО — вывода для данного исчисления вывода правило, заключение к рого выводимо из его посылок в рассматриваемом исчислении. Напр., в высказываний исчислении правило вывода является П. п., поскольку в этом исчислении имеет место выводимость из посылок:… … Математическая энциклопедия
КАРНАПА ПРАВИЛО — правило бесконечной индукции, w правило, вывода правило, состоящее в том, что если для арифметич. формулы j(х). доказаны предложения j(0), j(1),..., j(n),..., то можно считать доказанным предложение Это правило впервые введено в рассмотрение Р.… … Математическая энциклопедия